Protocol composition logic - PDFSEARCH.IO - Document Search Engine

Protocol composition logic
Results: 16

#	Item
11	Secrecy Analysis in Protocol Composition Logic? Arnab Roy1 , Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Jean-Pierre Seifert2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 00:22:30 Kerberos Needham–Schroeder protocol Cryptographic nonce Public-key cryptography IP Cryptographic protocols Cryptography Computer network security
12	GDP Festschrift ENTCS, to appear Protocol Composition Logic (PCL) Anupam Datta Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 00:20:34 Cryptography Computing Protocol composition logic Transmission Control Protocol Communications protocol Kerberos Data Cryptographic protocols Information
13	A Timed Logic for Modeling and Reasoning about Security Protocols★ Xinfeng Lei1 Rui Xue1 and Ting Yu2 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-21 21:08:46 Philosophical logic Model theory Burrows–Abadi–Needham logic Modal logic Protocol composition logic Communications protocol Public-key cryptography First-order logic Actor model Logic Cryptography Mathematical logic
14	Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-11-29 16:22:57 Data Kerberos Needham–Schroeder protocol Information Cryptographic nonce Cyberwarfare Cryptographic protocols Cryptography Computer network security
15	Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 00:37:13 Dolev-Yao model Public-key cryptography Protocol composition logic XTR Cryptographic primitive Semantic security Secure channel Key-agreement protocol Commitment scheme Cryptography Cryptographic protocols Ciphertext indistinguishability
16	A Formal Framework for Secure Routing Protocols Chen Chen1 Limin Jia2 Hao Xu1 Cheng Luo1 Wenchao Zhou3 Boon Thau Loo1 1 3 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Routing protocols Internet protocols Internet standards Formal methods Logic in computer science Communications protocol Border Gateway Protocol Formal verification Protocol composition logic Computing Internet Data

UPDATE